Unranked second-order anti-unification
نویسندگان
چکیده
منابع مشابه
Unranked Second-Order Anti-Unification
In this work we study anti-unification for unranked terms and hedges, permitting context and hedge variables. Hedges are sequences of unranked terms. The anti-unification problem of two hedges s̃ and q̃ is concerned with finding their generalization, a hedge g̃ such that both s̃ and q̃ are substitution instances of g̃. Second-order power is gained by using context variables to generalize vertical dif...
متن کاملAnti-Unification with Unranked Terms and Hedges
We study anti-unification for unranked terms and hedges that may contain term and hedge variables. The anti-unification problem of two hedges s̃1 and s̃2 is concerned with finding their generalization, a hedge q̃ such that both s̃1 and s̃2 are instances of q̃ under some substitutions. Hedge variables help to fill in gaps in generalizations, while term variables abstract single (sub)terms with differe...
متن کاملAnti-Unification for Unranked Terms and Hedges
We study anti-unification for unranked terms and hedges that may contain term and hedge variables. The anti-unification problem of two hedges s1 and s2 is concerned with finding their generalization, a hedge q such that both s1 and s2 are instances of q under some substitutions. Hedge variables help to fill in gaps in generalizations, while term variables abstract single (sub)terms with differe...
متن کاملUnranked Anti-Unification with Hedge and Context Variables
In this work we study anti-unification for unranked terms and hedges, permitting context and hedge variables. Hedges are sequences of unranked terms. The anti-unification problem of two hedges s̃ and q̃ is concerned with finding their generalization, a hedge g̃ such that both s̃ and q̃ are instances of g̃ under some substitutions. Context variables are used to abstract vertical differences in the inp...
متن کاملLinear Second-Order Unification
We present a new class of second-order unification problems, which we have called linear. We deal with completely general second-order typed unification problems, but we restrict the set of unifiers under consideration: they instantiate free variables by linear terms, i.e. terms where any λ-abstractions bind one and only one occurrence of a bound variable. Linear second-order unification proper...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2017
ISSN: 0890-5401
DOI: 10.1016/j.ic.2017.01.005